<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link rel="stylesheet" href="3rdparty/codemirror/codemirror.css" />
<link rel="stylesheet" href="3rdparty/codemirror/dialog.css" />
<link rel="stylesheet" href="css/scratchpad.css" />
</head>

<body>
<div id="titlebar">
	<div id="title">Scratchpad</div>
	<div id="buttons"></div>
</div>
<textarea id="js" spellcheck="false">
/* 
 * Press F1 for a list of keybindings
 * Ctrl+R executes the JavaScript (only the selection if there is one)
 * right click -> inspect element to bring up the Developer Tools. console.log, console.time and console.timeEnd are available
 * console.profile doesn't work. You can profile your script by opening the 'Sources' tab, the 'Workers' tab on the right, clicking the blue link, and starting a profile manually.
 */

</textarea>
<iframe src="sandbox.html" id="sandbox"></iframe>
<script type="text/javascript" src="3rdparty/codemirror/codemirror.js"></script>
<script type="text/javascript" src="js/compat.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/javascript.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/active-line.js"></script>
<script type="text/javascript" src="3rdparty/jshint.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/search.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/searchcursor.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/dialog.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/matchbrackets.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/continuecomment.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/match-highlighter.js"></script>
<script type="text/javascript" src="js/launch.js"></script>
<script type="text/javascript" src="js/scratchpad.js"></script>
</body>
</html>